1. ......................
پدیدآورنده : Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
76
.
D47
I57
1985
vol
.
1
2. AADEBUG 2005 : proceedings of the Sixth International Symposium on Automated & Analysis-Driven Debugging, Monterey, California, USA, September 19-21, 2005
پدیدآورنده : sponsored by ACM SIGPLAN & ACM SIGSOFT
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Debugging in computer science
رده :
QA
76
.
9
.
D43A23
2005
3. ACM SIGPLAN Erlang Workshop'02 : A satellite event of PLI 2002 : October 7, 2002, Pittsburgh, Pennsylvania, USA
پدیدآورنده :
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2002
4. AI approaches to the complexity of legal systems :
پدیدآورنده : Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
K213
5. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
پدیدآورنده : edited by D. Bjorner
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
86
6. Abstract software specifications, 1979 Copenhagen Winter School, January 22-February 2, 1979
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital Computers-- Programming-- Congresses
رده :
QA
76
.
6
.
W51
1979
7. Abstract software specifications : 1979 Copenhagen Winter school : proceedings
پدیدآورنده : edited by D. Bjorner
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
86
8. Accelerator programming using Directives :
پدیدآورنده : Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming, Congresses.,High performance computing, Congresses.,Computer programming.,High performance computing.
رده :
QA76
.
751
9. Active and programmable networks :
پدیدآورنده : David Hutchison ... [et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application program interfaces (Computer software), Congresses.,Computer networks, Congresses.,Microcomputers-- Programming, Congresses.
10. Active and programmable networks :
پدیدآورنده : David Hutchison ... [et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application program interfaces (Computer software), Congresses.,Computer networks, Congresses.,Microcomputers-- Programming, Congresses.
11. Active networks
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer networks ; Congresses. ; Application program interfaces (Computer software) ; Congresses. ; Microcomputers ; Programming ; Congresses. ;
12. Active networks : First International Working Conference, IWAN'99, Berlin, Germany, June 30-July 2, 1999 : proceedings
پدیدآورنده : Stefan Covaci )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer networks,Congresses ، Application program interfaces )Computer software(,Programming -- Congresses ، Microcomputers
رده :
QA
76
.
L28
Vol
.
1653
13. Active networks : IFIP-TC6 Third International Working Conference, IWAN, 2001, Philadelphia, PA, USA, September 30-October 2, 2001 : proceedings
پدیدآورنده : Ian W. Marshall, Scott Nettles, Naoki Wakamiya )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer networks,Congresses ، Application program interfaces )Computer software(,Programming -- Congresses ، Microcomputers
رده :
QA
76
.
L28
Vol
.
2207
14. Active networks : IFIP-TC6 Third International Working Conference, IWAN, 2001, Philadelphia, PA, USA, September 30-October 2, 2001 : proceedings
پدیدآورنده : Ian W, Marshall, Scott Nettles, Naoki Wakamiya )eds.(
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Computer networks,Congresses ، Application program interfaces )Computer software(,Congresses ، Microcomputers -- Programming
رده :
TK
5105
.
5
.
I95
2001
15. Active networks : IFIP-TC6 4th International Working Conference, IWAN 2002, Zurich, Switzerland, December 4-6, 2002 : proceedings
پدیدآورنده : James Sterbenz ... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer networks,Congresses ، Application program interfaces )Computer software(,Programming -- Congresses ، Microcomputers
رده :
QA
76
.
L28
Vol
.
2546
16. Active networks: second International Working Conference, IWAN 2000, Tokyo, Japan, October 16-18, 2000 : proceedings
پدیدآورنده : Hiroshi Yasuda )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer networks,Congresses ، Application program interfaces )Computer software(,Programming -- Congresses ، Microcomputers
رده :
QA
76
.
L28
Vol
.
1942
17. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
پدیدآورنده : edited by Peter J.L. Wallis
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Ada )Computer program language(,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
180
18. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
پدیدآورنده : edited by Peter J.L. Wallis
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Ada )Computer program language(,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
180
19. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
پدیدآورنده : Ada Software Tools Interfaces Workshop )3891: Bath, England(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Ada )Computer program language(-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
73
.
A35
.
A34
1983
20. Advanced concepts for intelligent vision systems :
پدیدآورنده : Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
رده :
TA1634